
var _ja = [];
if (navigator.appName == "Microsoft Internet Explorer" && navigator.appVersion.match(/9./i) == "9.")
	_ja.push("/js/html5.js");
_ja.push("/js/jquery.gs");
_ja.push("/js/ext/jquery.cookie.js");
_ja.push("/js/util.js");
while (_jp = _ja.shift())
	document.write("<script type='text/javascript' src='" + _jp + "'></script>");
